Max Planck Institute for Software Systems - PDFSEARCH.IO - Document Search Engine

Max Planck Institute for Software Systems
Results: 61

#	Item
11	Unifying Worlds and Resources Ralf Jung, Derek Dreyer Max Planck Institute for Software Systems (MPI-SWS), Saarland University August 30th Add to Reading List Source URL: people.mpi-sws.org - Date: 2015-10-16 08:02:26
12	Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer Max Planck Institute for Software Systems Add to Reading List Source URL: people.mpi-sws.org - Date: 2015-09-30 05:51:35
13	A Study of the Internal and External Effects of Concurrency Bugs Pedro Fonseca, Cheng Li, Vishal Singhal∗, and Rodrigo Rodrigues Max Planck Institute for Software Systems (MPI-SWS) Abstract Concurrent programming is in Add to Reading List Source URL: concurrency.mpi-sws.org - Date: 2010-04-16 08:26:24
14	Characterizing Information Diets of Social Media Users Juhi Kulshrestha, Muhammad Bilal Zafar, Lisette Espin Noboa, Krishna P. Gummadi, Saptarshi Ghosh Max Planck Institute for Software Systems Kaiserslautern-Saarbruecke Add to Reading List Source URL: socialnetworks.mpi-sws.org - Date: 2015-09-14 09:16:27
15	PeerReview: Practical Accountability for Distributed Systems Andreas Haeberlen†‡ , Petr Kuznetsov† , and Peter Druschel† † Max Planck Institute for Software Systems, ‡ Rice University Add to Reading List Source URL: www.cs.rice.edu - Date: 2007-12-16 08:03:29
16	Type-Directed Automatic Incrementalization Yan Chen, Joshua Dunfield, and Umut A. Acar (Max Planck Institute for Software Systems) Self-Adjusting Computation Add to Reading List Source URL: www.mpi-sws.org - Date: 2012-09-07 17:01:40
17	PeerReview: Practical Accountability for Distributed Systems Andreas Haeberlen†‡ , Petr Kuznetsov† , and Peter Druschel† † Max Planck Institute for Software Systems, ‡ Rice University Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-10-16 16:58:50 Distributed data storage Concurrent computing Distributed computing Computing Distributed hash table Consensus Chord Kademlia
18	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO Constructible universe Normal distribution
19	27th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Lund, Sweden, 7-10th July 2015 Organised by the Euromicro Technical Committee on Real-Time Systems Conference web site: ecrts15.ecrts.org Add to Reading List Source URL: www.control.lth.se Language: English - Date: 2015-03-25 09:33:01 Real-time computing Worst-case execution time EUROMICRO Ying Lu Max Planck Institute for Software Systems Kaiserslautern University of Technology Computing Electronics
20	PeerReview: Practical Accountability for Distributed Systems Andreas Haeberlen†‡ , Petr Kouznetsov† , and Peter Druschel† † Max Planck Institute for Software Systems, ‡ Rice University Add to Reading List Source URL: www.sosp2007.org Language: English - Date: 2016-06-15 13:09:51 Distributed data storage Distributed hash table Consensus Chord Kademlia

UPDATE